Modeling of Mixed-Model Assembly System based on Agent Oriented Petri Net
نویسندگان
چکیده
In this paper, a mixed-model assembly system is modeled using ATPN (agent oriented timed Petri net) based on assembly resources classification. Firstly, the basic concepts and definition of ATPN is described. Secondly, with ATPN method introduced into mixed-model system research the modeling of a mixed-model assembly system is discussed. The development of an ATPN model for a MMAS consists of four phases: (1) agent-oriented assembly resources classification of MMAS, (2) development of universal ATPN model of each kind of assembly resource, (3) construction of mixed-model assembly cell centering about assembly robots or humans, (4) construction of the MMAS model based on mixed-model assembly cell after analyzing the system requirements. Thirdly, by studying the transforming from AUML (agent Unified Modeling Language) model towards ATPN-based model and its simplification the ATPNbased interactive protocol model is constructed for a mixed-model assembly system. Meanwhile, based on ATPN the performance indicators of mixed-model assembly System are analyzed. Finally, an illustrative example of a MMAS in certain enterprise demonstrates the steps and effectiveness of this approach.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModeling and Analysis of Agent Oriented System: Petri Net Based Approach
Large and complex system are now a days conceptualized using Agent Oriented Paradigm. Agent oriented systems are dynamic in nature. In this paper, we have proposed a conceptual framework for agent to conceptualize the artifacts of such system. The paper also has proposed a Petri Net based model and analysis methodology based on that conceptual framework to analyze the crucial behavioral feature...
متن کامل